Nuprl Definition : band
9,38
postcript
pdf
p
q
== if
p
then
q
else ff fi
latex
Definitions
if
b
then
t
else
f
fi
,
ff
origin